This volume of the Lecture Notes in Computer Science series contains the notes of the two invited lectures, the 26 papers ...
WeiterlesenThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Weiterlesen